호몰로지 (Homology)
호몰로지(Homology)는 위상 공간의 기하학적 구조, 특히 공간 내에 존재하는 '구멍(hole)'의 개수와 차원을 대수적 구조(특히 [[아벨 군]], Abelian Group)로 변환하여 측정하는 대수적 위상수학의 핵심 이론이다.
1. 개요
호몰로지는 복잡한 위상 공간을 단순한 대수적 대상인 호몰로지 군(Homology Group)으로 대응시킴으로써, 두 공간이 위상적으로 동일한지(동형인지)를 판별하는 강력한 불변량을 제공한다. 직관적으로 0차 호몰로지는 연결 성분의 개수를, 1차 호몰로지는 1차원 구멍(루프)의 개수를, 2차 호몰로지는 2차원 빈 공간(공동, Cavity)의 개수를 측정한다.
2. 기본 개념 및 구성 요소
호몰로지를 정의하기 위해서는 공간을 작은 조각들로 나누어 분석하는 체계가 필요하다.
2.1 체인 복합체 (Chain Complex)
공간을 구성하는 기본 단위(예: 단체, 세포 등)들의 형식적 선형 결합(Formal Linear Combination)을 체인(Chain)이라 하며, 이들의 집합을 $C_n$이라 한다. 이러한 체인들이 다음과 같은 사슬 구조를 이룰 때 이를 체인 복합체라고 한다.
$$\dots \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \xrightarrow{\partial_{n-1}} \dots \xrightarrow{\partial_1} C_0 \xrightarrow{\partial_0} 0$$
2.2 경계 연산자 (Boundary Operator)
경계 연산자 $\partial_n$는 $n$차원 체인을 그 경계가 되는 $(n-1)$차원 체인으로 대응시키는 선형 사상이다. 호몰로지의 핵심 성질은 "경계의 경계는 없다"는 것이며, 이는 수학적으로 $\partial_n \circ \partial_{n+1} = 0$으로 표현된다.
- 사이클 (Cycle, $Z_n$): 경계가 없는 체인. 즉, $\partial_n(c) = 0$을 만족하는 $c \in C_n$의 집합. ($\ker \partial_n$)
- 바운더리 (Boundary, $B_n$): 어떤 상위 차원 체인의 경계가 되는 체인. 즉, $c = \partial_{n+1}(d)$를 만족하는 $d \in C_{n+1}$이 존재하는 $c \in C_n$의 집합. ($\text{im } \partial_{n+1}$)
| 개념 |
기호 |
정의 |
직관적 의미 |
| 사이클 (Cycle) |
$Z_n$ |
$\ker \partial_n$ |
닫혀 있는 루프나 면 |
| 바운더리 (Boundary) |
$B_n$ |
$\text{im } \partial_{n+1}$ |
내부가 채워져 있어 '구멍'이 아닌 것 |
| 호몰로지 (Homology) |
$H_n$ |
$Z_n / B_n$ |
닫혀 있지만 내부가 비어 있는 '진짜 구멍' |
3. 호몰로지 군의 정의와 계산
3.1 몫군을 이용한 정의
호몰로지 군 $H_n$은 사이클 군 $Z_n$을 바운더리 군 $B_n$으로 나눈 [몫군]으로 정의된다.
$$H_n(X) = Z_n(X) / B_n(X) = \ker \partial_n / \text{im } \partial_{n+1}$$
이는 "닫혀 있는 모든 구조(Cycle) 중에서, 무언가의 경계가 되는 것(Boundary)들을 제외한 나머지"만을 남김으로써 순수한 구멍의 정보를 추출하는 과정이다.
일반적으로 정수 $\mathbb{Z}$를 계수로 사용하지만, 목적에 따라 $\mathbb{Z}_2, \mathbb{Q}, \mathbb{R}$ 등의 계수 군을 사용할 수 있다.
3.2 베티 수 (Betti Number)
호몰로지 군 $H_n$이 자유 아벨 군(Free Abelian Group)일 때, 그 랭크(Rank)를 베티 수 $\beta_n$이라고 한다.
- $\beta_0$: 연결 성분의 개수
- $\beta_1$: 1차원 구멍(원형 구멍)의 개수
- $\beta_2$: 2차원 구멍(공 모양의 빈 공간)의 개수
주요 공간의 베티 수 예시:
| 공간 | $\beta_0$ | $\beta_1$ | $\beta_2$ | $\beta_3$ |
| :--- | :---: | :---: | :---: | :---: |
| 원 ($S^1$) | 1 | 1 | 0 | 0 |
| 구 ($S^2$) | 1 | 0 | 1 | 0 |
| 토러스 ($T^2$) | 1 | 2 | 1 | 0 |
| 3차원 구 ($S^3$) | 1 | 0 | 0 | 1 |
4. 주요 호몰로지 이론의 종류
대상 공간을 어떻게 분할하고 정의하느냐에 따라 여러 이론으로 나뉜다.
| 이론 |
정의 대상 |
특징 |
계산 효율성 |
| 심플리셜 (Simplicial) |
심플리셜 복합체 |
공간을 삼각형, 사면체 등으로 분할 |
높음 (조합론적) |
| 싱귤러 (Singular) |
모든 위상 공간 |
연속 함수 $\sigma: \Delta^n \to X$ 이용 |
낮음 (이론적 정의) |
| 셀룰러 (Cellular) |
[[CW 복합체]] |
$n$-세포(Cell)를 붙여나가는 방식 |
매우 높음 |
5. 구체적인 계산 예시: 원(Circle, $S^1$)
원 $S^1$을 세 개의 정점($v_0, v_1, v_2$)과 세 개의 변($e_0, e_1, e_2$)으로 이루어진 심플리셜 복합체로 가정하자.
- 0차 호몰로지 ($H_0$):
- 모든 정점은 사이클이다. 하지만 $e_0$의 경계는 $v_1 - v_0$이므로, $v_1$과 $v_0$는 호몰로지적으로 동일하다.
-
결과적으로 모든 정점이 하나의 클래스로 묶이며, $H_0(S^1) \cong \mathbb{Z}$, 즉 $\beta_0 = 1$ (연결 성분 1개).
-
1차 호몰로지 ($H_1$):
- 체인 $c = e_0 + e_1 + e_2$를 생각하면, 경계 연산 결과는 다음과 같다.
$$\partial_1(c) = (v_1-v_0) + (v_2-v_1) + (v_0-v_2) = 0$$
- 따라서 $c$는 사이클($Z_1$)이다. 하지만 $S^1$에는 2차원 면이 없으므로 $\text{im } \partial_2 = 0$이다. 즉, 바운더리($B_1$)가 존재하지 않는다.
- 따라서 $H_1(S^1) = Z_1 / 0 \cong \mathbb{Z}$, 즉 $\beta_1 = 1$ (구멍 1개).
6. 주요 성질 및 정리
6.1 호모토피 불변성 (Homotopy Invariance)
두 공간 $X, Y$가 [호모토피 동치]라면, 모든 $n$에 대해 $H_n(X) \cong H_n(Y)$이다. 이는 공간을 연속적으로 변형(늘리거나 줄이기)해도 구멍의 개수는 변하지 않음을 의미한다.
정리: 연속 함수 $f: X \to Y$와 $g: Y \to X$가 존재하여 $g \circ f \simeq \text{id}_X$ 및 $f \circ g \simeq \text{id}_Y$를 만족하면, 유도 사상 $f_*: H_n(X) \to H_n(Y)$는 모든 $n$에 대해 동형 사상(Isomorphism)이다.
6.2 마이어-비토리스 정리 (Mayer-Vietoris Sequence)
공간 $X$를 두 개의 열린 집합 $U, V$의 합집합으로 나타낼 수 있을 때, 전체 공간의 호몰로지를 부분 공간의 호몰로지로 계산할 수 있게 하는 긴 완전열(Long Exact Sequence)이다.
$$\dots \to H_n(U \cap V) \to H_n(U) \oplus H_n(V) \to H_n(X) \to H_{n-1}(U \cap V) \to \dots$$
7. 호몰로지와 코호몰로지 비교
호몰로지의 듀얼(Dual) 개념인 코호몰로지(Cohomology)는 체인 복합체의 방향을 반대로 뒤집은 코체인 복합체(Cochain Complex)를 통해 정의된다.
| 구분 |
호몰로지 (Homology) |
코호몰로지 (Cohomology) |
| 연산자 |
경계 연산자 $\partial_n: C_n \to C_{n-1}$ |
공경계 연산자 $d^n: C^n \to C^{n+1}$ |
| 방향 |
차원이 낮아지는 방향 (분해) |
차원이 높아지는 방향 (조합) |
| 구조 |
군(Group) 구조 |
환(Ring) 구조 (컵 곱 $\smile$ 존재) |
| 직관 |
공간의 구멍을 직접 측정 |
구멍을 가로지르는 함수/형식 측정 |
8. 응용 및 확장
8.1 [[오일러 지표]] (Euler Characteristic)
오일러 지표 $\chi(X)$는 베티 수의 교대 합으로 표현될 수 있다.
$$\chi(X) = \sum_{n=0}^{\infty} (-1)^n \beta_n$$
이는 다면체에서 $V - E + F$라는 고전적 공식의 일반화된 형태이다.
8.2 지속적 호몰로지 (Persistent Homology)
현대 데이터 분석(TDA, Topological Data Analysis)에서 활용되는 기법이다. 데이터 포인트들에 반지름 $r$인 구를 씌워 $r$을 변화시키며 호몰로지 군의 변화를 추적한다. 이를 통해 노이즈와 실제 데이터의 기하학적 특징(구멍)을 구분하는 바코드(Barcode)나 지속성 다이어그램(Persistence Diagram)을 생성한다.
TDA 활용 사례:
- 생물학: 단백질 구조의 3차원 형태 분석 및 접힘(Folding) 패턴 연구.
- 뇌과학: 뇌 신경망의 연결성(Connectivity) 분석을 통한 기능적 네트워크 구조 파악.
- 재료과학: 다공성 물질의 기공 분포 및 연결성 정량화.
- 시계열 분석: 금융 데이터나 센서 데이터를 위상 공간에 매핑하여 시스템의 주기성 및 동역학적 특성 추출.
8.3 시각적 구조 다이어그램
graph TD
A[위상 공간 X] --> B{분할 방식 선택}
B --> C[심플리셜/셀룰러 복합체]
C --> D[체인 복합체 C_n]
D --> E[경계 연산자 ∂_n 적용]
E --> F[Z_n: 사이클 추출]
E --> G[B_n: 바운더리 추출]
F --> H[H_n = Z_n / B_n]
G --> H
H --> I[베티 수 β_n 계산]
I --> J[공간의 위상적 특징 결정]
분류: 수학 / 위상수학 / 대수적 위상수학
# 호몰로지 (Homology)
**호몰로지(Homology)**는 위상 공간의 기하학적 구조, 특히 공간 내에 존재하는 '구멍(hole)'의 개수와 차원을 대수적 구조(특히 [[아벨 군]], Abelian Group)로 변환하여 측정하는 대수적 위상수학의 핵심 이론이다.
---
## 1. 개요
호몰로지는 복잡한 위상 공간을 단순한 대수적 대상인 **호몰로지 군(Homology Group)**으로 대응시킴으로써, 두 공간이 위상적으로 동일한지(동형인지)를 판별하는 강력한 불변량을 제공한다. 직관적으로 0차 호몰로지는 연결 성분의 개수를, 1차 호몰로지는 1차원 구멍(루프)의 개수를, 2차 호몰로지는 2차원 빈 공간(공동, Cavity)의 개수를 측정한다.
## 2. 기본 개념 및 구성 요소
호몰로지를 정의하기 위해서는 공간을 작은 조각들로 나누어 분석하는 체계가 필요하다.
### 2.1 체인 복합체 (Chain Complex)
공간을 구성하는 기본 단위(예: 단체, 세포 등)들의 **형식적 선형 결합(Formal Linear Combination)**을 **체인(Chain)**이라 하며, 이들의 집합을 $C_n$이라 한다. 이러한 체인들이 다음과 같은 사슬 구조를 이룰 때 이를 **체인 복합체**라고 한다.
$$\dots \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \xrightarrow{\partial_{n-1}} \dots \xrightarrow{\partial_1} C_0 \xrightarrow{\partial_0} 0$$
### 2.2 경계 연산자 (Boundary Operator)
**경계 연산자 $\partial_n$**는 $n$차원 체인을 그 경계가 되는 $(n-1)$차원 체인으로 대응시키는 선형 사상이다. 호몰로지의 핵심 성질은 **"경계의 경계는 없다"**는 것이며, 이는 수학적으로 $\partial_n \circ \partial_{n+1} = 0$으로 표현된다.
### 2.3 사이클과 바운더리
- **사이클 (Cycle, $Z_n$):** 경계가 없는 체인. 즉, $\partial_n(c) = 0$을 만족하는 $c \in C_n$의 집합. ($\ker \partial_n$)
- **바운더리 (Boundary, $B_n$):** 어떤 상위 차원 체인의 경계가 되는 체인. 즉, $c = \partial_{n+1}(d)$를 만족하는 $d \in C_{n+1}$이 존재하는 $c \in C_n$의 집합. ($\text{im } \partial_{n+1}$)
| 개념 | 기호 | 정의 | 직관적 의미 |
| :--- | :---: | :--- | :--- |
| **사이클 (Cycle)** | $Z_n$ | $\ker \partial_n$ | 닫혀 있는 루프나 면 |
| **바운더리 (Boundary)** | $B_n$ | $\text{im } \partial_{n+1}$ | 내부가 채워져 있어 '구멍'이 아닌 것 |
| **호몰로지 (Homology)** | $H_n$ | $Z_n / B_n$ | 닫혀 있지만 내부가 비어 있는 '진짜 구멍' |
## 3. 호몰로지 군의 정의와 계산
### 3.1 몫군을 이용한 정의
호몰로지 군 $H_n$은 사이클 군 $Z_n$을 바운더리 군 $B_n$으로 나눈 [[몫군]](Quotient Group)으로 정의된다.
$$H_n(X) = Z_n(X) / B_n(X) = \ker \partial_n / \text{im } \partial_{n+1}$$
이는 "닫혀 있는 모든 구조(Cycle) 중에서, 무언가의 경계가 되는 것(Boundary)들을 제외한 나머지"만을 남김으로써 순수한 구멍의 정보를 추출하는 과정이다.
일반적으로 정수 $\mathbb{Z}$를 계수로 사용하지만, 목적에 따라 $\mathbb{Z}_2, \mathbb{Q}, \mathbb{R}$ 등의 계수 군을 사용할 수 있다.
### 3.2 베티 수 (Betti Number)
호몰로지 군 $H_n$이 자유 아벨 군(Free Abelian Group)일 때, 그 랭크(Rank)를 **베티 수 $\beta_n$**이라고 한다.
- $\beta_0$: 연결 성분의 개수
- $\beta_1$: 1차원 구멍(원형 구멍)의 개수
- $\beta_2$: 2차원 구멍(공 모양의 빈 공간)의 개수
**주요 공간의 베티 수 예시:**
| 공간 | $\beta_0$ | $\beta_1$ | $\beta_2$ | $\beta_3$ |
| :--- | :---: | :---: | :---: | :---: |
| 원 ($S^1$) | 1 | 1 | 0 | 0 |
| 구 ($S^2$) | 1 | 0 | 1 | 0 |
| 토러스 ($T^2$) | 1 | 2 | 1 | 0 |
| 3차원 구 ($S^3$) | 1 | 0 | 0 | 1 |
## 4. 주요 호몰로지 이론의 종류
대상 공간을 어떻게 분할하고 정의하느냐에 따라 여러 이론으로 나뉜다.
| 이론 | 정의 대상 | 특징 | 계산 효율성 |
| :--- | :--- | :--- | :---: |
| **심플리셜 (Simplicial)** | 심플리셜 복합체 | 공간을 삼각형, 사면체 등으로 분할 | 높음 (조합론적) |
| **싱귤러 (Singular)** | 모든 위상 공간 | 연속 함수 $\sigma: \Delta^n \to X$ 이용 | 낮음 (이론적 정의) |
| **셀룰러 (Cellular)** | [[CW 복합체]] | $n$-세포(Cell)를 붙여나가는 방식 | 매우 높음 |
## 5. 구체적인 계산 예시: 원(Circle, $S^1$)
원 $S^1$을 세 개의 정점($v_0, v_1, v_2$)과 세 개의 변($e_0, e_1, e_2$)으로 이루어진 심플리셜 복합체로 가정하자.
1. **0차 호몰로지 ($H_0$):**
- 모든 정점은 사이클이다. 하지만 $e_0$의 경계는 $v_1 - v_0$이므로, $v_1$과 $v_0$는 호몰로지적으로 동일하다.
- 결과적으로 모든 정점이 하나의 클래스로 묶이며, $H_0(S^1) \cong \mathbb{Z}$, 즉 $\beta_0 = 1$ (연결 성분 1개).
2. **1차 호몰로지 ($H_1$):**
- 체인 $c = e_0 + e_1 + e_2$를 생각하면, 경계 연산 결과는 다음과 같다.
$$\partial_1(c) = (v_1-v_0) + (v_2-v_1) + (v_0-v_2) = 0$$
- 따라서 $c$는 사이클($Z_1$)이다. 하지만 $S^1$에는 2차원 면이 없으므로 $\text{im } \partial_2 = 0$이다. 즉, 바운더리($B_1$)가 존재하지 않는다.
- 따라서 $H_1(S^1) = Z_1 / 0 \cong \mathbb{Z}$, 즉 $\beta_1 = 1$ (구멍 1개).
## 6. 주요 성질 및 정리
### 6.1 호모토피 불변성 (Homotopy Invariance)
두 공간 $X, Y$가 [[호모토피 동치]](Homotopy Equivalent)라면, 모든 $n$에 대해 $H_n(X) \cong H_n(Y)$이다. 이는 공간을 연속적으로 변형(늘리거나 줄이기)해도 구멍의 개수는 변하지 않음을 의미한다.
**정리:** 연속 함수 $f: X \to Y$와 $g: Y \to X$가 존재하여 $g \circ f \simeq \text{id}_X$ 및 $f \circ g \simeq \text{id}_Y$를 만족하면, 유도 사상 $f_*: H_n(X) \to H_n(Y)$는 모든 $n$에 대해 동형 사상(Isomorphism)이다.
### 6.2 마이어-비토리스 정리 (Mayer-Vietoris Sequence)
공간 $X$를 두 개의 열린 집합 $U, V$의 합집합으로 나타낼 수 있을 때, 전체 공간의 호몰로지를 부분 공간의 호몰로지로 계산할 수 있게 하는 긴 완전열(Long Exact Sequence)이다.
$$\dots \to H_n(U \cap V) \to H_n(U) \oplus H_n(V) \to H_n(X) \to H_{n-1}(U \cap V) \to \dots$$
## 7. 호몰로지와 코호몰로지 비교
호몰로지의 듀얼(Dual) 개념인 **코호몰로지(Cohomology)**는 체인 복합체의 방향을 반대로 뒤집은 코체인 복합체(Cochain Complex)를 통해 정의된다.
| 구분 | 호몰로지 (Homology) | 코호몰로지 (Cohomology) |
| :--- | :--- | :--- |
| **연산자** | 경계 연산자 $\partial_n: C_n \to C_{n-1}$ | 공경계 연산자 $d^n: C^n \to C^{n+1}$ |
| **방향** | 차원이 낮아지는 방향 (분해) | 차원이 높아지는 방향 (조합) |
| **구조** | 군(Group) 구조 | **환(Ring)** 구조 (컵 곱 $\smile$ 존재) |
| **직관** | 공간의 구멍을 직접 측정 | 구멍을 가로지르는 함수/형식 측정 |
## 8. 응용 및 확장
### 8.1 [[오일러 지표]] (Euler Characteristic)
오일러 지표 $\chi(X)$는 베티 수의 교대 합으로 표현될 수 있다.
$$\chi(X) = \sum_{n=0}^{\infty} (-1)^n \beta_n$$
이는 다면체에서 $V - E + F$라는 고전적 공식의 일반화된 형태이다.
### 8.2 지속적 호몰로지 (Persistent Homology)
현대 데이터 분석(TDA, Topological Data Analysis)에서 활용되는 기법이다. 데이터 포인트들에 반지름 $r$인 구를 씌워 $r$을 변화시키며 호몰로지 군의 변화를 추적한다. 이를 통해 노이즈와 실제 데이터의 기하학적 특징(구멍)을 구분하는 **바코드(Barcode)**나 **지속성 다이어그램(Persistence Diagram)**을 생성한다.
**TDA 활용 사례:**
- **생물학:** 단백질 구조의 3차원 형태 분석 및 접힘(Folding) 패턴 연구.
- **뇌과학:** 뇌 신경망의 연결성(Connectivity) 분석을 통한 기능적 네트워크 구조 파악.
- **재료과학:** 다공성 물질의 기공 분포 및 연결성 정량화.
- **시계열 분석:** 금융 데이터나 센서 데이터를 위상 공간에 매핑하여 시스템의 주기성 및 동역학적 특성 추출.
### 8.3 시각적 구조 다이어그램
```mermaid
graph TD
A[위상 공간 X] --> B{분할 방식 선택}
B --> C[심플리셜/셀룰러 복합체]
C --> D[체인 복합체 C_n]
D --> E[경계 연산자 ∂_n 적용]
E --> F[Z_n: 사이클 추출]
E --> G[B_n: 바운더리 추출]
F --> H[H_n = Z_n / B_n]
G --> H
H --> I[베티 수 β_n 계산]
I --> J[공간의 위상적 특징 결정]
```
분류: 수학 / 위상수학 / 대수적 위상수학